automated deduction system
自动演绎系统
热门查询
- Thornbury [人名] [英格兰人姓氏] 索恩伯里 Thornber的变体; [地名] [加拿大、新西兰、英国] 桑伯里
- patriotically adv. 爱国地；忧国地
- bazaar n. 集市；市场；义卖市场
- TR abbr. 土耳其（Turkey）；发送-接收机（Transmitter-Receiver）；技术记录（Technical Record）；温度记录器（Temperature Recorder）
- experiment n. 实验，试验；尝试 vi. 尝试；进行实验
- anne n. 安妮（女子名）
- singleton n. 一个；独身 n. (Singleton)人名；(英)辛格尔顿
- theoretical adj. 理论的；理论上的；假设的；推理的
- sizable adj. 相当大的；大小相当的
- mortify vt. 抑制；苦修；使…感屈辱 vi. 禁欲；苦行；约束
- rotated adj. 旋转的 v. 旋转；使…转动；循环（rotate的过去分词）
- barter n. 易货贸易；物物交换；实物交易 vt. 以…作为交换；拿…进行易货贸易 vi. 进行易货贸易；[贸易] 作物物交换；讨价还价 n. (Barter)人名；(英)巴特
- sonogram n. 声波图；声谱记录；语图
- inspired v. 激发（inspire的过去分词）；鼓舞 adj. 有灵感的；官方授意的
- thimble n. 顶针；套管；嵌环
- ascendant n. 优势；运星；支配地位 adj. 上升的；优越的
- unwinding n. 退绕；[生物物理] 解旋，循环 v. 解开；使松弛（unwind的现在分词）
- wife n. 妻子，已婚妇女；夫人
- idealization n. 理想化；理想化的事物
- esa abbr. 欧洲航天局（European Space Agency）；美国生态学学会（Ecological Society of America）；美国工程师和科学家协会（Engineers and Scientists of America）；经济稳定法案（Economic Stabilization Act）；就业标准署（Employment Standards Administration）
